2 402 202 книги
без регистрации
бесплатно
Мобильная версия
Книги
Категории и жанры
Лучшие книги
Добавить книгу
Библиотека
Помощь
Мобильная версия
Плагин
Контакты
Как помочь?
Спонсорам и инвесторам
API
Booksee
.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Compositionality: The Significant Difference, COMPOS'97
Willem-Paul de Roever
,
Hans Langmaack
,
Amir Pnueli
Категория:
Cs_Computer science
,
CsLn_Lecture notes
3.82 Mb
#2
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control 1995
Jean-Raymond Abrial
,
Egon Börger
,
Hans Langmaack
Категория:
Cs_Computer science
,
CsLn_Lecture notes
4.81 Mb
#3
Elements of Microcomputer Interfacing
Dines Bjorner
,
C.A.R. Hoare
,
Hans Langmaack
4.14 Mb
#4
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 3rd
Hans Langmaack
,
Willem-Paul de Roever
,
Jan Vytopil
6.86 Mb